$\forall$$A$:Type, $f$:fpf($A$; $a$.top). fpf{-}domain($f$) $\in$ ($A$ List)